Investigations on autark assignments
نویسنده
چکیده
The structure of the monoid of autarkies for clause-sets is investigated (autarkies are generalizations of satisfying (truth) assignments). The notion of a \plain clause-set" is introduced, where every clause is usable by some resolution refutation, and it is shown that a clause-set is plain ii it has no non-trivial autarky. Every clause-set has a unique decomposition into a plain sub-clause-set and a satissable sub-clause-set. As a special case of autarkies we introduce the notion of \linear autarky," deenable by a system of linear inequalities over the rational numbers (and thus linear autarkies can be searched for in polynomial time by means of linear programming). Clause-sets without non-trivial linear autarkies we call \ weakly plain," and clause-sets satissable by a linear autarky we call \linearly satissable." As before, every clause-set has a unique decomposition into a weakly plain sub-clause-set and a linearly satissable sub-clause-set, but this time the decomposition is computable in polynomial time. The class of linearly satissable clause-sets seems to be a new and interesting polynomially decidable class of satissable clause-sets, generalizing the notion of a \matched clause-set" introduced in a recent paper by J. Franco and A. Van Gelder. The class of weakly plain clause-sets has some interesting combinatorial properties with respect to the \deeciency" = c ?n, the diierence of the number of clauses and the number of variables, introduced in the same paper: Among others (non-empty) weakly plain clause-sets fullll 1, where this property has been known before only for minimally unsatissable clause-sets.
منابع مشابه
Linear Satisfiability Preserving Assignments
In this paper, we study several classes of satisfiability preserving assignments to the constraint satisfaction problem (CSP). In particular, we consider fixable, autark and satisfying assignments. Since it is in general NP-hard to find a nontrivial (i.e., nonempty) satisfiability preserving assignment, we introduce linear satisfiability preserving assignments, which are defined by polyhedral c...
متن کاملHomomorphisms of conjunctive normal forms
We study homomorphisms of propositional formulas in CNF generalizing symmetries considered by Krishnamurthy. If φ : H → F is a homomorphism, then unsatisfiability of H implies unsatisfiability of F . Homomorphisms from F to a subset F ′ of F (endomorphisms) are of special interest, since in such case F and F ′ are satisfiability-equivalent. We show that smallest subsets F ′ of a formula F for w...
متن کاملObserved Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming
We introduce two incomplete polynomial time algorithms to solve satisfiability problems which both use Linear Programming (LP) techniques. First, the FlipFlop LP attempts to simulate a Quadratic Program which would solve the CNF at hand. Second, the WeightedLinearAutarky LP is an extended variant of the LinearAutarky LP as defined by Kullmann [6] and iteratively updates its weights to find auta...
متن کاملWrting to learn (WTL) the effects of written assignments on students learning and writing skills
This research aims to develop a model based on writing to learn (WTL) and the effective on promotion of learning and writing skills of students. Therefore, use the nonequivalent control group design with pre- test and post- test. 115 of the undergraduate students of Education University were assigned at random in three groups: Group 1 (short writing assignments), group 2 (analytical essay), and...
متن کاملAbgleich von Teilmodellen in den frühen Entwicklungsphasen
Teilmodelle sind Daten-, Zustandsoder andere Modelle, die die individuellen, initialen Anforderungen eines einzelnen Stakeholders repräsentieren. Dieses Papier adressiert das Problem, wie autark entstandene Teilmodelle zu einem Gesamtmodell abgeglichen werden können. Zunächst analysieren wir die Eignung bisher vorhandener Mischverfahren für Modelle und zeigen, daß sie wesentliche Defizite aufwe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Applied Mathematics
دوره 107 شماره
صفحات -
تاریخ انتشار 2000